The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of th...(展开全部)

This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects, including set theory, pr...(展开全部)

What is Meaning? Fundamentals of Formal Semantics is a concise introduction to the field of semantics as it is actually practiced. Through simple examples, pictures, and metaphors, Paul Portner presents the field's key ideas about how language works. * explains the fundamental ideas and some of the most significant results of modern semantic theory * combines foundational dis...(展开全部)

This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style. Instead this book will assume that the reader is familiar with functional programming; those without this familiarity may find it heavy going. The first part describes how to translate a high-level functional language into ...(展开全部)